Champions League: Real Madrid in semis after beating Man City on penalties