Colorado's oil business by the numbers