Theoretical prediction of properties of atomistic systems: Density functional theory and machine learning