Four new Oriental species of Ptecticus, with taxonomic and biological notes on some other species (Diptera: Stratiomyidae)