Interfacial properties and electron structure of Al/B4C interface: A first-principles study