The Army (21,000 personnel) comprises three brigades and other small units. With what is the infantry brigade mainly equipped with?