RAMACO RESOURCES, INC.