Explicit arithmetic intersection theory and computation of Néron-Tate heights