Screened van der Waals correction to density functional theory for solids