Programmatic Risk Management for Derivative Trading