Do Boris Johnson's claims about his record as London mayor add up?