Dust Explosion Safety in the Process Industry (DESPRO) van Wingerden Kees Michelsen institute 1995-11