Procyclicality and financial regulation