A discrete isodiametric result: the Erdős-Ko-Rado theorem for multisets