Biogas production by thermal hydrolysis and thermophilic anaerobic digestion of waste-activated sludge