Necessary and sufficient conditions for precompact sets to be metrizable Academic Article 2006