Iran’s 3-month cement output surpasses 19m tons