Generating Synthetic Data with Formal Privacy Guarantees: State of the Art and the Road Ahead