Statistical Mechanics of Sequence-Dependent Circular DNA and Its Application For DNA Cyclization