On the poset of non-trivial proper subgroups of a finite group