Efficient electrical spin injection from a magnetic metal/tunnel barrier contact into a semiconductor