Texas oil hall of famer Clayton Williams dies aged 88