Quais são os músculos do compartimento lateral da perna e qual é o nervo que os inerva?