Tokyo 2020 formally propose earlier marathon time