Metro 2039 is official: 4A Games reveals next mainline entry launching this winter