Trying to decide between iPad Mini 7 128 or 256. I'd like to use it among other things to take short vacation videos say 5-10 mins in length more or less. I'm not familiar with Apple formats and how much each will actually take up. How many mg/gb would say one minute take ? And in what format(s), if there are multiple formats available to use. IE MP4,ect.