Lectures on string theory