What are the options for using an external microphone to record audio with (when recording video)? Thanks Dan galaxy tablet from sprint