General tips and tricks to find diamonds in Minecraft