Effect of Porosity and Fracture Toughness on Explosive Spalling of Concrete