Modelling Kepler red giants in eclipsing binaries: calibrating the mixing-length parameter with asteroseismology. Issue 1 (8th December 2017)