Rescue ship docks in Spain after saving 87 migrants off Libya