An analytical method for calculating the thermodynamic properties of working fluids based on a BWR-type equation of state. Part I: Analytical and logical development