West Texas oil rig explosion kills three workers