Terrestrial Planet Formation and the Small-Mars problem