A synopsis of the mammalian fauna of the Philippine Islands