NFL mourns death of John Madden