Diagnosing teacher candidates’ reasoning on solution concentration: a theoretical analysis of definitional and procedural difficulties | Synapse