How should you simulate a managed server failure to test whether automatic server migration is working?