Funicular de Petrin, Praga