Former Nottingham boss: Steve Cooper named manager of Premier League Leicester City