Browns formally introduce coach Pat Shurmur