Justin Murphy removes 'interim' from his job title, becomes new Menlo Park city manager