Stratton formally launches campaign for mayor