What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBbarLbar