Need some recommendations please. I’m looking for a pocketable camera (jacket pocket) to take on casual walks and holidays. I’ve noticed I’m leaving my ff Sony at home more. Been looking at gx880/ gx80 or e-m10 mkii. Would any of these be much bigger than the pen series cameras?