GoPro is bringing back the 'Mini' camera format, leak shows