The drilling manual (CRC Press, 2015)