Before the oil industry grew in the 1940s, what was the major industry for Qatar.