Boolean Games: Inferring Agents' Goals Using Taxation Queries