Summarization with Precise Length Control