Measurement of charged kaon production by neutrinos at MINERvA