Theoretical advances in the modelling and interrogation of biochemical reaction systems: alternative formulations of the chemical Langevin equation and optimal experiment design for model discrimination