Metaproteomics of cellulose methanisation under thermophilic conditions reveals a surprisingly high proteolytic activity