Orlando Halloween shooting survivor describes trauma