Public sector pay: Will rises for doctors and teachers cause inflation?