Tree-valued Fleming–Viot dynamics with mutation and selection