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