Cleveland City Council approves $10M for West Side Market repairs