Coronavirus vaccination in Europe — by the numbers