Development and applications of rescue robots for explosion accidents in coal mines. Issue 3 (6th November 2019)