O que é e quais são os componentes principais em geral disponibilizados por um PDK?