osso buco alla milanese (braised veal shanks~