osso buco alla milanese (braised veal shanks, milan style)