The diagonal of a first countable paratopological group, submetrizability, and related results