Stabilization versus insurance: Welfare effects of procyclical taxation under incomplete markets