Students’ reasons for introducing auxiliary lines in proving situations