Using MiniBooNE neutral current elastic cross section results to constrain 3+1 sterile neutrino models