Contact searching algorithms in FEA