Text this: Rotavirus gastroenteritis hospitalizations in provinces with different vaccination coverage rates in Spain, 2013–2018