Diurnal population cycle and metropolitan commuter exchange: a formal investigation of an urban pattern