Flux compactification