Spanish-style lamb shank casserole