Control of dengue vectors in Singapore.