Definitions and frameworks for environmental sustainability in higher education