Just to be pedantic … it is not possible to export a video using .mp3, because mp3 is only an audio format. You can export just the audio from a video into .mp3, but never the actual video.
(I’m guessing you are indeed wanting to export just the audio, but thought it wise to clarify just in case …)