Towards a working density-functional theory for polymers: First-principles determination of the polyethylene crystal structure