Integrated information theory (IIT) 4.0: Formulating the properties of phenomenal existence in physical terms