publication venue for Pemanfaatan jenis vegetasi hutan gambut untuk revegetasi pasca tambang batubara 2020-12-31