Distributed predefined-time optimization in formation control under switching topologies