Piecewise deterministic Markov processes