Detailed first-order post-Newtonian analysis of massive Brans-Dicke theories: Numerical constraints and the meaning of the β parameter | Synapse