Density clustering based fast and stable satellite selection for LEO navigation | Synapse