Paid mental health days – do they matter?