Boredom can help you be more productive