As metro operations resume in a graded manner, digital technologies can help demand management, social distancing, real-time information for authorities and passengers