Energy-consistent Petrov-Galerkin time discretization of port-Hamiltonian systems | Synapse