Formative assessment use in university EFL writing instruction: a survey report from China