Decidability of the Interval Temporal Logic ABB over the Natural Numbers