Mitigation of indoor radon hazard by air conditioning