Scheduling algorithm of dual-armed cluster tools with residency time and reentrant constraints