QUAL2K Theory