Log-concavity of the overpartition function