Cost semantics for Plotkin's PCF