Why being bored is stimulating – and useful, too