Piecewise-deterministic Markov processes