Modeling and optimization of an M/M/1/K/WV retrial queue with dual-phase service, customer's balking under F-policy | Synapse