Health workers and vaccination coverage in developing countries: an econometric analysis