Crude oil crash: High frequency firms saw large profits