Partizione (computazione)