On Formal Feature Attribution and Its Approximation