Propositional independence: Formula-variable independence and forgetting