Efficient urban and suburban railways in Japan The metro in Osaka