Paste Properties, Hardened Concrete Properties, and Mix Design Process for Magnesium Phosphate Cement