Non-linearly stable reduced-order models for incompressible flow with energy-conserving finite volume methods.