Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata