Theoretical analysis of three bio-inspired plume tracking algorithms