The challenge of reaching undocumented migrants with COVID-19 vaccination