The impact of the 2007-09 credit crunch on the funding of public sector infrastructure in the UK