RBI allows banks to trade in currency options