Miguel spends $100 on books, five of which are hardcover and the remaining four are paperback. The prices at the bookstore are based on whether the book is hardcover or paperback. It charges $2 less for paperback books than for hardcover books. What is the price for hardcover books?