Variable Forgetting in Reasoning about Knowledge