Quantum paraelectricity and structural phase transitions in strontium titanate beyond density functional theory