Structure of proteinase K from energy-filtered MicroED data