Facebook picks HP's Antonio Lucio as CMO