A nut is to be made for a screw of M10x1.5. What should be the size of drilled hole ?