Darmon points: algorithms and numerical evidence