Band structure of the EuO/Si interface: justification for silicon spintronics