boorder in mijnbouw, steenwinning en putten boren