Production of Avengers: Infinity War and the untitled Avengers sequel