Effective action of string theory flux compactifications