Arbitrage-free option pricing models