How much do Dutch people spend on holidays?