Option Pricing in ARCH-type Models: with Detailed Proofs