Oil workers made a big, bad retirement bet: Company stock