Toward computational design of protein crystals with improved resolution