On the Progression Semantics and Boundedness of Answer Set Programs