On paracompact locales and metric locales