Instant pot pinto beans with ham hock