The Specifiability Requirement in Mobile Robot Self-Localization