A tau method for the one-dimensional parabolic inverse problem subject to temperature overspecification