Lexmark to Lay Off Some 700 Members of its Global Workforce