AMD announces 64-bit ARM-based Opteron server chips