Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking