Transfinite methods in metric fixed-point theory