The facts about NHS staffing levels, budgets and pay increases