Spin injection at heusler/semiconductor interfaces: First-principles determination of potential discontinuity and half-metallicity