Risk Management for Pair Traders: Position Sizing and Diversification