A Mega-study of Text-based Nudges Encouraging Patients to Get Vaccinated at an Upcoming Doctor's Appointment