Larval source management – a supplementary measure for malaria vector control. An operational manual [2013]