Spin-dependent transmission at ferromagnet/semiconductor interfaces