HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving