Theory of electrical spin-detection at a ferromagnet/semiconductor interface