Braised Beef Shanks with Mushrooms and Olives