How playing Tetris can help relieve trauma symptoms in healthcare workers