Exact-exchange density-functional calculations for noble-gas solids