The three-dimensional shapes of underground coal miners' feet do not match the internal dimensions of their work boots. Issue 4 (3rd April 2018)