On minimal faithful permutation representations of finite groups