Simple homotopy types and finite spaces