High-resolution mass spectrometry: Theoretical and technological aspects