As Boris Johnson announces a big recruitment drive, Reality Check checks what's happened to police numbers.