Gibbs ensemble computer simulation and SAFT-VR theory of non-conformal square-well monomer–dimer mixtures