Along with live wire and neutral wire, a third wire is also used in domestic electric wiring, what name is given to this third wire?