Strength–porosity relationships in lime–pozzolan mortars