The Brazilian market of distributed biogas generation: Overview, technological development and case study