Formal deduction of the Saint-Venant-Exner model including arbitrarily sloping sediment beds and associated energy