What Would It Take to Vaccinate the World Against Covid?