Search for effective spin injection heterostructures based on half-metal heusler alloys/gallium arsenide semiconductors: a theoretical investigation