Derivatives market to resume trading: SGX