Ants in Tropical Urban Habitats: The Myrmecofauna in a Densely Populated Area of Bogor, West Java, Indonesia